Relationship Between Rank, Nullity, Determinant and Invertibility

Theorem

Let \(V, W\) be vector spaces over \(\mathbb{F}\) with \(\dim{V} = \dim{W}\) finite and \(T : V \to W\) linear.

The following are all equivalent:

  1. \(T\) is invertible (bijective)
  2. \(\mathrm{nullity}(T) = 0\)
  3. \(\mathrm{rank}(T) = \dim{W}\)
  4. \(\det(T) \neq 0\)

Using the same notation in the theorem above, we prove this using the following lemmas.

Lemma

\(\mathrm{nullity}(T) = 0\) if and only if \(T\) is injective.

Proof

Assume that \(\mathrm{nullity}(T) = 0\) and let \(\boldsymbol{a}, \boldsymbol{b} \in V\) such that \(T(\boldsymbol{a}) = T(\boldsymbol{b})\). This implies that

\[ \boldsymbol{0} = T(\boldsymbol{a}) - T(\boldsymbol{b}) = T(\boldsymbol{a} - \boldsymbol{b}).\]

Then since \(\mathrm{nullity}(T) = 0\), the set of values \(\boldsymbol{a} - \boldsymbol{b}\) which map to zero contains only the zero dimensional subspace \(\{\boldsymbol{0}\}\), and hence \(\boldsymbol{a} - \boldsymbol{b} = \boldsymbol{0}\) which implies \(\boldsymbol{a} = \boldsymbol{b}\).

On the converse, if \(T\) is assumed to be injective then

\[ T(\boldsymbol{a}) = T(\boldsymbol{b}) \implies \boldsymbol{a} = \boldsymbol{b}\]

which is equivalent to

\[ T(\boldsymbol{a} - \boldsymbol{b}) = \boldsymbol{0} \implies \boldsymbol{a} - \boldsymbol{b} = \boldsymbol{0}.\]

With \(\boldsymbol{a} - \boldsymbol{b}\) an arbitrary vector by setting \(\boldsymbol{b} = 0\), we have that the only thing that maps to zero is the zero vector itself, and therefore the subspace of elements mapped to zero is zero dimensional.

Lemma

\(\mathrm{rank}(T) = \dim{V}\) if and only if \(T\) is surjective.

Proof

If \(\mathrm{rank}(T) = \dim{W}\) then \(T\) must be surjective, as an \(n\) dimensional subspace of an \(n\) dimensional space must be the whole space.

Similarly if \(T\) is surjective, then \(T(\boldsymbol{x})\) is any arbitrary element of \(W\), and hence \(T\) is full rank.


Proof

We can now prove the main result. (2) and (3) are equivalent from the rank nullity theorem. Since (2) implies injectivity, and (3) implies surjectivity, but (2) is equivalent to (3), each of these independently prove bijectivity, (1). The converse is also true, with (1) implying \(T\) is both surjective and injective, hence proving both (2) and (3).

Hence we have established \((1) \iff (2) \iff (3)\).

Then from matrix has non-zero determinant if and only if it is invertible we can conclude the final equivalenc.